Verification of Hybrid Systems: Monotonicity in the AHS Control System
نویسندگان
چکیده
Numerous approaches to verifying the safety of vehicles in the AHS architecture of PATH have been proposed (see 1] and 2]). One approach involves nding a boundary between safe and unsafe initial conditions. This task is signiicantly easier if we can guarantee that the severity of an accident is monotonic in the initial conditions. Simulation results are presented in which it is shown that this condition does not hold for the design of 1], and a hybrid automaton model explaining this situation is presented. Finally, some attempts to modify the control laws to obtain monotonicity are presented.
منابع مشابه
Verified Hybrid Controllers for Automated Vehicles - Automatic Control, IEEE Transactions on
The objective of an Automated Highway System (AHS) is to increase the safety and throughput of the existing highway infrastructure by introducing traffic automation. AHS is an example of a large scale, multiagent complex dynamical system and is ideally suited for a hierarchical hybrid controller. We discuss the design of safe and efficient hybrid controllers for regulation of vehicles on an AHS...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملControl Simulation and Experimental Verification of Maximum Power Point Tracking Based on RT-LAB (TECHNICAL NOTE)
The maximum power point tracking (MPPT) control in the Photovoltaic system is the key control technology, however present controller has the disadvantages of long development cycle, high cost and complex verification, and there are some disadvantages carrying out totally physical simulation or totally digital simulation of different control algorithms. This paper carried out design of hardware ...
متن کاملDesign and Evaluation Tools for Automated Highway Systems
The Automated Highway Systems ahs project at UC Berkeley is part of a comprehensive program initiated by the U S government under the Intermodal Surface Transportation E ciency Act of to improve safety and reduce congestion in the surface transportation system UC Berkeley s path Laboratory is part of a nine member consortium along with General Motors Bechtel Parsons Brinckerho Martin Marietta D...
متن کاملSoft Switching MBC Controller for MIMO Linear Hybrid Systems
Switching supervisory is the most important section of a feedback control process inMIMO hybrid systems. By choosing a non-compatible controller, system may go tounstable mode or high overshoot response. In this paper, a new method of switchingfor selecting MBC controllers is discussed. Results of the simulation show the MIMO(2-in 2-out) linear hybrid system can be switched stable and low overs...
متن کامل